constructive mathematics - French English Dictionary